The generator matrix 1 0 0 1 1 1 X 1 1 X 1 X 1 0 1 1 1 0 1 X 1 0 1 0 1 X 1 1 1 X 1 0 1 0 1 1 1 1 X X 0 0 1 1 1 1 1 1 1 1 0 0 X X X X X X X X 0 0 0 0 1 1 1 0 1 0 0 1 X+1 1 X X+1 1 0 0 1 1 X 0 1 1 X+1 1 0 0 X+1 1 0 0 X 1 X 1 X X X X 1 1 1 1 1 1 1 1 X X 0 0 X+1 X+1 X+1 X+1 1 1 1 1 X X 0 0 X X X X 0 0 0 X 1 0 0 1 1 X+1 0 X+1 1 X+1 X X 1 X 1 1 1 X+1 0 X+1 X 0 1 0 1 X 1 X+1 X X+1 X+1 X 1 X 1 1 0 1 0 0 0 X+1 X+1 0 0 X+1 X+1 1 1 X X X X 1 1 1 1 0 X X 0 0 X X 0 0 1 1 0 0 0 X X X 0 0 0 X X X 0 X X 0 0 X X 0 X X 0 0 0 0 0 X X X 0 X X 0 0 X X 0 X 0 0 X X 0 0 X X 0 X 0 X 0 0 X 0 X X X X X X X X X 0 0 0 generates a code of length 67 over Z2[X]/(X^2) who´s minimum homogenous weight is 65. Homogenous weight enumerator: w(x)=1x^0+12x^65+27x^66+40x^67+27x^68+12x^69+1x^70+1x^72+3x^74+3x^76+1x^78 The gray image is a linear code over GF(2) with n=134, k=7 and d=65. As d=65 is an upper bound for linear (134,7,2)-codes, this code is optimal over Z2[X]/(X^2) for dimension 7. This code was found by Heurico 1.16 in 0.0784 seconds.